We study logical systems for reasoning about equations involving recursive definitions. In particular, we are interested in "propositional" fragments of the functional language of recursion FLR [18, 17], i.e., without the value passing or abstraction allowed in FLR. The "pure," propositional fragment FLR 0 turns out to coincide with the iteration theories of [1]. Our main focus here concerns the sharp contrast between the simple class of valid identities and the very complex consequence relation over several natural classes of models.

We study logical systems for reasoning about equations involving recursive definitions. In particular, we are interested in "propositional" fragments of the functional language of recursion FLR [18, 17], i.e., without the value passing or abstraction allowed in FLR. The "pure," propositional fragment FLR$_0$ turns out to coincide with the iteration theories of [1]. Our main focus here concerns the sharp contrast between the simple class of valid identities and the very complex consequence relation over several natural classes of models.

I do not approach the question of free will as a scientist, like Colin Blakemore, or a lawyer, like David Hodgson, or philosopher, like Daniel Dennett, but as a priest -- someone who feels responsible for my own actions and who is called upon to counsel and absolve such as come to me with their shame and their guilt. Should I say that their sense of responsibility is illusory? Or should I encourage them to accept responsibility, and then to deal (...) with it in the various ways -- religious, psychological and practical -- that are open to them? (shrink)

Individuals are generally held to be morally and legally responsible only for actions carried out freely and deliberately, that is to say, for actions that result from our free choice. However, there is a quite widespread view that all of our actions are the result of the scientific laws that govern our physical bodies. If this should prove to be the case, then human choice would be an illusion, and therefore -- on the generally accepted principle just stated -- personal (...) responsibility would be a meaningless concept and blame and punishment would be inappropriate responses to wicked or criminal acts. In this paper I shall argue that we need to disentangle ‘responsibility’ from ‘choice'. I shall also outline reasons for holding that responsibility is ultimately a first-person matter -- I am responsible if I feel responsible, irrespective of choice -- and I shall briefly consider some of the consequences of this approach. (shrink)

Dr Ian Ramsey has made considerable use of the word ‘disclosure’ in what he has to say about religion and in his attempts to give an account of the meaning of religious language. He sometimes speaks of ‘discernment’ or ‘insight’ but ‘disclosure’ is the word he normally favours. In what follows I shall ask: what a disclosure is, to what extent Dr Ramsey's use of the notion leads to confusions, and what questions have to be faced in order to resolve (...) these confusions. (shrink)

In this paper I wish first of all to argue against two possible views about colour qualities, which I shall label the Objectivist and Subjectivist views respectively. I find these views to be prevalent among philosophers of my acquaintance, though sometimes they are hidden by a veneer of post-Wittgensteinian sophistication. Part of my argument will depend on modern scientific theories of colour vision. In the second part of the paper I shall argue for a different view of my own.

ExcerptIn what follows, I would like to investigate the character of traditional Christian ritual, not as a full or comprehensive interpretation, but as a single step in that direction, inspired by recent archaeological excavations in southeastern Turkey and elsewhere that imply the primacy of ritual over material and economic factors in the development of society.1 The implications of these findings suggest that both anthropology and philosophy might focus on ritual as a key to the human. Yet if archaeological remains possess (...) the virtue of keys to the primordial, they also suffer from ineradicable obscurity that the absence of decipherable inscription…. (shrink)

It is characteristic of realists to separate ontology from epistemology and of idealists to mix the two things up. By ‘idealists’ here I am mainly referring to the British neo-Hegelians but the charge of mixing up ontology and epistemology can be made against at least one ‘subjective idealist’, namely Bishop Berkeley, as his wellknown dictum ‘esse ispercipi’ testifies. The objective idealists rejected the correspondence theory of truth and on the whole accepted a coherence theory. The qualification is needed here because (...) H. H. Joachim, in The Nature of Truth, found the coherence theory unable to deal with the problem of error. (shrink)

Originally published in 1984, deals with meta-ethics - that is the semantics and pragmatics of ethical language. This book eschews the notions of meaning and analyticity on which meta-ethics normally depends. It discusses questions of free will and responsibility and the relations between ethics on the one hand and science and metaphysics on the other. The author regards ethics as concerned with deciding what to do and with persuading others - not with exploring a supposed realm of ethical fact.

It is a pleasure for me to give this opening address to the Royal Institute of Philosophy Conference on ‘Explanation’ for two reasons. The first is that it is succeeded by exciting symposia and other papers concerned with various special aspects of the topic of explanation. The second is that the conference is being held in my old alma mater, the University of Glasgow, where I did my first degree. Especially due to C. A. Campbell and George Brown there was (...) in the Logic Department a big emphasis on absolute idealism, especially F. H. Bradley. My inclinations were to oppose this line of thought and to espouse the empiricism and realism of Russell, Broad and the like. Empiricism was represented in the department by D. R. Cousin, a modest man who published relatively little, but who was of quite extraordinary philosophical acumen and lucidity, and by Miss M. J. Levett, whose translation of Plato's Theaetetus formed an important part of the philosophy syllabus. (shrink)

In this commentary I assess the possible harms to a fetus with trisomy 18 of continued life. I argue that, although there is good reason to avoid subjecting infants to major surgery and prolonged intensive care where there is little chance of benefit, doctors should support and engage honestly with parents who decide to continue their pregnancies. We should ensure that infants with trisomy 18 have access to high quality palliative care.

In this article, we present results from a literature review of intrinsic, instrumental, and relational values of nature conducted for the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services, as part of the Methodological Assessment of the Diverse Values and Valuations of Nature. We identify the most frequently recurring meanings in the heterogeneous use of different value types and their association with worldviews and other key concepts. From frequent uses, we determine a core meaning for each value type, which is (...) sufficiently inclusive to serve as an umbrella over different understandings in the literature and specific enough to help highlight its difference from the other types of values. Finally, we discuss convergences, overlapping areas, and fuzzy boundaries between different value types to facilitate dialogue, reduce misunderstandings, and improve the methods for valuation of nature's contributions to people, including ecosystem services, to inform policy and direct future research. © 2023 The Author(s). Published by Oxford University Press on behalf of the American Institute of Biological Sciences. (shrink)

This paper is partly to get rid of some irritation which I have felt at the quite common tendency of philosophers to elucidate ‘is red’ in terms of ‘looks red’. For a relatively recent example see, for example, Frank Jackson and Robert Pargetter, ‘An Objectivist′s Guide to Subjectivism about Colour’. However rather than try to make a long list of references, I would rather say ‘No names, no pack drill’. I have even been disturbed to find the use of the (...) words ‘looks red’ that I am opposing ascribed to me by Keith Campbell in his useful article ‘David Armstrong and Realism about Colour’. I am not saying that such talk is necessarily wrong. Talk of ‘looks red’ may be a way of harmlessly referring to the behavioural discriminations with respect to colour of a human percipient. Where it is dangerous, at least to those of us who wish to argue for a broadly physicalist account of the mind, is that it may have concealed overtones of reference to epiphenomenal and irreducibly psychic properties of experiences. Moreover even if it does not do so it may be fence sitting on this issue and liable to misinterpretation. (shrink)

This article is mainly concerned to summarise a fairly well articulated position on the philosophy of science which may be extracted from scattered passages in quine's "word and object." (1) there is no sharp line between philosophy and science, Or between science and mathematics, Or between science and common sense. (2) abstract mathematical entities are theoretical posits just as electrons are. (3) epistemology is a branch of biology. (4) quine's earlier instrumentalism has given way to a scientific realism. (5) quine's (...) philosophy of space-Time is briefly discussed. (6) an extensional language is adequate for science. (shrink)

Seneca the Younger's tragedies are adaptations from the Greek. C. A. J. Littlewood emphasizes the place of these plays in the Latin literature and in the philosophical context of the reign of the emperor Nero. Stoics dismissed public reality as theatre, as illusion. The artificiality of Senecan tragedy, the consciousness that its own dramatic worlds are literary constructs, responds to this contemporary philosophical perception.

The main purpose of this paper is to seek a reconciliation between two apparently conflicting views of mine. I have argued (for example, Smart, 1963) for realism about theoretical entities, for example electrons, protons, photons, possibly space-time points, perhaps the ‘Y’-wave of Schrödinger’s equation and so on. Quine has also plausibly argued that we should believe in mathematical entities, since in physics we quantify over them no less than over electrons and protons. I except cases in which in physics the (...) existential quantifications are part of merely pretence discourse. Perhaps in spherical astronomy talk of the celestial sphere should be treated in this way. Alternatively the celestial sphere could be thought of realistically as a sphere whose centre is that of the earth while the stars and planets are thought of (or correlated with) points or small areas on the sphere’s surface in their lines of sight. I am not concerned in this paper to delimit fact from fiction in scientific discourse. The settlement of borderline disputes can wait for another occasion. My main argument for scientific realism is the cosmic coincidence argument. Would it not be a cosmic coincidence if the world were merely as if there were electrons, protons, etc?1. (shrink)

Hobbes’ account of these issues is conspicuously brief and puzzling. Indeed it has been criticized by some commentators as ‘confused.’ I hope to show, however, that it appears confused only because it has not been read with sufficient precision. Properly understood, Hobbes’ account is both exact and profound. It is also, in my view, far more interesting as a conception of natural right than the modern ‘confusions’ which have come to be read into it.To show this, the text must be (...) read as it is presented: on its own terms, analytically and exactly. In what follows, therefore, I shall focus upon Hobbes’ definitive account of the right of nature in chapter XIV of Leviathan, with only minimal reference to other passages and other works. I do not pretend that this is the only possible approach to Hobbes on this point; but it does show how his account may be read intelligibly, and with greater respect for the power and precision of his thought. (shrink)

In an increasingly global landscape, NFP initiatives including those addressing animal protection, are increasingly operating cross-borders. Doing so without respect, local engagement, and a thorough understanding of the issues of concern is fraught with danger, and potentially wasteful of resources. To this purpose, we sought to understand attitudes to the importance of 13 major world social issues in relation to animal protection by surveying 3433 students from at least 103 universities across 12 nations. The emergence of a ‘nature trifecta’ was (...) suggested, with animal and environmental protection and sustainable development recurring as the most highly rated in importance across all countries, with these issues also consistently rating amongst the highest in each individual country. It is concluded that significant differences exist between attributed importance of world issues by nation, pointing towards the benefit of tailoring NFP initiatives by country and region. It is also suggested that nation, or more specifically, sociopolitical and cultural region, is a vitally important demographic for consideration in social development. (shrink)

This commentary is intended to illuminate Gold's & Stoljar 's main contentions by exploiting a favorite comparison, namely, that between biology and electronics. Roughly, and leaving out Darwinian theory and the like, biology is physics and chemistry plus natural history just as electronics is physics plus wiring diagrams. Natural history contains generalizations, not laws. Psychology and cognitive science typically give more abstract explanations, as do “block diagrams” in electronics, and are less dispensable.

A case is made for supposing that the total probability accounted for in a decision analysis is less than unity. This is done by constructing a measure on the set of all codes for computable functions in such a way that the measure of every effectively accountable subset is bounded by a number <1. The consistency of these measures with the Savage axioms for rational preference is established. Implications for applied decision theory are outlined.

What does it take for a positive epistemic status to obtain? I argue throughout my thesis that if a positive epistemic status obtains, this is not a brute fact. Instead, if for example a belief is justified, it is justified in virtue of some further condition(s) obtaining. A fundamental topic in epistemology is the question of what sorts of factors can be relevant to determining the positive epistemic status of belief. Epistemic Internalism holds that these factors must be “internal” (in (...) a sense that needs to be specified). Epistemic Externalism is the denial of internalism. My thesis is an explanation and defense of an internalist theory of epistemic justification. -/- The central claim of my thesis is that something is “internal” in this sense only if it is, or can easily be, the object of the agent’s conscious awareness. By considering key cases, I show that without an awareness requirement on justification, the subject cannot avoid what I call the Subject’s Perspective Objection. In developing this objection I examine and respond to an argument against the awareness requirement which claims that such awareness either leads to a vicious regress of requiring higher order beliefs of increasing complexity (if any beliefs are to be justified), or else requiring such awareness is unmotivated. This regress is generated because it is assumed that the relevant kind of awareness must be doxastic. My solution invokes what I call ‘strong non-doxastic awareness’ that grounds non-inferential justification and thereby avoids this dilemma, while meeting the Subject’s Perspective Objection. -/- I also argue that external factors, such as the reliability (actual or conditional) of the mechanism supporting the belief, are not necessary for justification. I argue for this conclusion by comparing what constitutes justified belief in the actual world with one’s counterpart in a ‘demon world’. I argue that this intuition, correctly interpreted, counts in favour of internalism. As I explain, many philosophers moved by arguments presented by externalists about mental content deny that such a case is possible. In opposition I argue that the awareness requirement remains substantially unaffected, no matter which view of content turns out to be correct. What is key is that the two worlds are completely subjectively indistinguishable from each other for those who inhabit them in all the ways of which they are consciously aware. -/- If neither the obtaining of truth nor reliability is necessary for epistemic justification, what makes justification genuinely epistemic? In the final chapter I argue against recent work that assimilates justification with knowledge, as well as for a positive account of the truth connection. As to the former question, I defend the orthodoxy that they are distinct epistemic statuses; as to the latter, I argue that the connection between justification and truth is conceptual. That is, epistemic justification is epistemic because it turns on evidence; evidence is epistemic because it is conceptually linked with truth. Epistemic justification, therefore, is conceptually linked with the truth (via evidence), which is what makes it distinctively epistemic. -/- In short, this thesis is an explanation and defense of an internalist theory of epistemic justification. The central claim of the thesis is that something is “internal” in this sense only if it is, or can easily be, the object of the agent’s conscious awareness. I argue that conscious awareness is a necessary condition of epistemic justification obtaining, and that factors external to consciousness play no justificatory role. (shrink)

In recent years, a revisionist process focused on logical positivism can be observed, particularly regarding Carnap’s work. In this paper, I argue against the interpretation that Kuhn’s The Structure of Scientific Revolutions having been published in the International Encyclopedia of Unified Science, co-edited by Carnap, is evidence of the revisionist idea that Carnap “would have found Structure philosophically congenial”. I claim that Kuhn’s book, from Carnap’s point of view, is not in philosophy of science but rather in history of science (...) (in the context of a sharp discovery–justification distinction). It could also explain the fact that, despite his sympathetic letters to Kuhn as editor, Carnap never refers to Kuhn’s book in his work in philosophy of science. (shrink)

In an article in Philosophy R. G. Swinburne set out to argue that none of Hume's formal objections to the design argument ‘have any validity against a carefully articulated version of the argument’ . This, he maintained, is largely because Hume's criticisms ‘are bad criticisms of the argument in any form’ . The ensuing controversy between Swinburne and Olding 1 has focused upon the acceptable/unacceptable aspects of the dualism presupposed in Swinburne's defence of the design argument; upon whether any simplification (...) is achieved by reducing scientific explanation to agent explanation; and upon the problems which arise from taking a man's acting upon his body as the analogy for understanding a disembodied agent acting upon matter. In this article I shall refer to the Swinburne-Olding controversy when appropriate but my main concern is to return to Swinburne's original article and argue, seriatim , that Hume's individual criticisms of the design argument are for the most part a great deal more powerful than Swinburne allowed. I shall contend that cumulatively they destroy the design argument as any sort of rational foundation for theistic belief. But first I shall indicate briefly the character of the argument together with one or two of the distinctions and refinements in terms of which it has been found helpful to carry on the discussion in recent years. (shrink)

C. A. J. Littlewood approaches Seneca's tragedies as Neronian literature rather than as reworkings of Attic drama, and emphasizes their place in the Roman world and in the Latin literary corpus. The Greek tragic myths are for Seneca mediated by non-dramatic Augustan literature. In literary terms Phaedra's desire, Hippolytus' innocence, and Hercules' ambivalent heroism look back through allusion to Roman elegy, pastoral, and epic respectively. Ethically, the artificiality of Senecan tragedy, the consciousness that its own dramatic worlds, events, and people (...) are literary constructs, responds to the contemporary Stoical dismissal of the public world as mere theatre. (shrink)

Is a whole something more than the sum of its parts? Are there things composed of the same parts? If you divide an object into parts, and divide those parts into smaller parts, will this process ever come to an end? Can something lose parts or gain new ones without ceasing to be the thing it is? Does any multitude of things (including disparate things such as you, this book, and the tail of a cat) compose a whole of some (...) sort? Questions such as these have occupied us for at least as long as philosophy has existed. They define the field that has come to be known as mereology-the study of all relations of part to whole and of part to part within a whole-and have deep and far-reaching ramifications in metaphysics as well as in logic, the foundations of mathematics, the philosophy of language, the philosophy of science, and beyond. In Mereology, A. J. Cotnoir and Achille C. Varzi have compiled decades of advanced research into a comprehensive, up-to-date, and formally rigorous picture. The early chapters cover the more classical aspects of mereology; the rest of the book deals with variants and extensions. Whether you are an established professional philosopher, an interested student, or a newcomer, inside you will find all the tools you need to join this ever-evolving field of inquiry and theorize about all things mereological. (shrink)